منابع مشابه
Cardinal Preserving Elementary Embeddings
Say that an elementary embedding j : N → M is cardinal preserving if CAR = CAR = CAR. We show that if PFA holds then there are no cardinal preserving elementary embeddings j : M → V . We also show that no ultrapower embedding j : V → M induced by a set extender is cardinal preserving, and present some results on the large cardinal strength of the assumption that there is a cardinal preserving j...
متن کاملCardinal Sequences and Cohen Real Extensions
We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most (2 ℵ0) V many levels of size ω. We also give a complete ZF C characterization of the cardinal sequences of regular scattered spaces. Although the classes of the regular and of the 0-dimensional scattered spaces are different, we prove that they have ...
متن کاملSkolem Functions and Elementary Extensions
In [4] Payne constructed such a pair of uncountable models for an uncountable language. Knight [1] announced that the language could be countable and presented her construction in [3] together with other examples one of which is a " nonSkolemizable elementary triple " of countable structures for a countable language. Payne's, Knight's and the present construction all seem to use rather differen...
متن کاملCARDINAL-E: AIS Extensions to CARDINAL for Decentralised Self-Organisation for Network Security
This paper extends the CARDINAL architecture by Kim et al. (2005) to CARDINAL-E. CARDINAL-E keeps the innate immune system behaviour at every computer on the network and relocates the adaptive immune system behaviour to higher performance computers. Two paradigmatic shifts are achieved by this modification. First is the shift from standalone to supportive, otherwise considered as architecturall...
متن کاملCategoricity from One Successor Cardinal in Tame Abstract Elementary Classes
We prove that from categoricity in λ we can get categoricity in all cardinals ≥ λ in a χ-tame abstract elementary classe K which has arbitrarily large models and satisfies the amalgamation and joint embedding properties, provided λ > LS(K) and λ ≥ χ. For the missing case when λ = LS(K), we prove that K is totally categorical provided that K is categorical in LS(K) and LS(K).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2000
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-00-05639-2